Resource and performance trade-offs in real-time embedded control systems

摘要

The use of computer controlled systems has increased dramatically in our daily life. Microprocessors are embedded in most of the daily-\udused devices. Due to cost constraints, many of these devices that run control applications are designed under processing power, space, \udweight, and energy constraints, i.e., with limited resources. Moreover, the embedded control systems market demands new capabilities \udto these devices or improvements in the existing ones without increasing the resource demands. Enabling devices with real-time \udtechnology is a promising step toward achieving cost-effective embedded control systems. Recent results of real-time systems theory \udprovide methods and policies for an efficient use of the computational resources. At the same time, control systems theory is starting to \udoffer controllers with varying computational load. By combining both disciplines, it is theoretically feasible to design resource-constrained \udembedded control systems capable of trading-off control performance and resource utilization. \ud \udThis thesis focuses on the practical feasibility of this new generation of embedded control systems. To this extend, two issues are \udaddressed: 1) the effective implementation of control loops using real-time technology and 2) the evaluation of resource/performance-\udaware policies that can be applied to a set of control loops that concurrently execute on a microprocessor. \ud \udA control task generally consists of three main activities: input, control algorithm computation, and output. The timing of the input and \udoutput actions is critical to the performance of the controller. The implementation of these operations can be conducted within the real-\udtime task body or using hardware functions. The former introduces considerable amounts of jitters while the latter forces delays. This \udthesis presents a novel task model as a computational abstraction for implementing control loops that is shown to remove the endemic \udproblems caused by jitters and delays. This model is synchronized at the output instants rather than at the input instants. This has been \udshown to provide interesting properties. From the scheduling point of view, the new task model can be seamlessly integrated into existing \udscheduling theory and practice, while improving task set schedulability. From a control perspective, the task model absorbs jitters \udbecause it allows irregular sampling by incorporating predictors, and improves reactiveness in front of perturbations. In addition, Kalman \udtechniques have been also investigated to deal with the case of noisy measurements. \ud \udThe effective implementation of simple control algorithms making use of this new task model does not guarantee the feasibility of \udimplementing state-of-the-art resource/performance-aware policies. These policies, which can be roughly divided into feedback \udscheduling and event-driven control, have been mainly treated from a theoretical point of view while practical aspects have been omitted. \udConversely to the initial problem targeted by these policies, that is, to minimize or keep resource requirements to meet the tight cost \udconstraints related with mass production and strong industrial competition, research advances seem to require sophisticated procedures \udthat may impair a cost-effective implementation. This thesis presents a performance evaluation framework that permits to assess these \udpolicies in terms of the potential benefits offered by the theory as well as the pay-off in terms of complexity and overhead. The framework \uddesign is the result of a taxonomical analysis of the related state-of-the-art. Among other specifications, the framework, which is \udcomposed by a simulation and an experimental platform, supports both event/time triggered paradigms, allows different sort of control \udand optimization algorithms, and flexibly evaluates control performance and resource utilization.